This article explains and discusses the relationship between traditional legislative processes and the development of automated government decision-making systems. The juridical aspects of systems development should be regarded as invisible quasi-legislation. The author investigates and discusses possible ways of changing the legislative process with a view to increasing and improving political involvement in processes today often regarded as mere implementation, and thereby safeguard that important parts of the law of our computerised society is situated in the public domain.

The goal of this short chapter, aimed at philosophers, is to provide an overview and brief explanation of some central concepts involved in predictive processing (PP). Even those who consider themselves experts on the topic may find it helpful to see how the central terms are used in this collection. To keep things simple, we will first informally define a set of features important to predictive processing, supplemented by some short explanations and an alphabetic glossary. -/- The features described here (...) are not shared in all PP accounts. Some may not be necessary for an individual model; others may be contested. Indeed, not even all authors of this collection will accept all of them. To make this transparent, we have encouraged contributors to indicate briefly which of the features are necessary to support the arguments they provide, and which (if any) are incompatible with their account. For the sake of clarity, we provide the complete list here, very roughly ordered by how central we take them to be for “Vanilla PP” (i.e., a formulation of predictive processing that will probably be accepted by most researchers working on this topic). More detailed explanations will be given below. Note that these features do not specify individually necessary and jointly sufficient conditions for the application of the concept of “predictive processing”. All we currently have is a semantic cluster, with perhaps some overlapping sets of jointly sufficient criteria. The framework is still developing, and it is difficult, maybe impossible, to provide theory-neutral explanations of all PP ideas without already introducing strong background assumptions. (shrink)

These collected studies on the philosophy of the image offer the fundamental insight that images alone make the artificial presence of things possible. Images present things as exclusively visible, released from the laws of physics. Taking this idea as his point of departure, Wiesing provides an overview of the fundamental positions in contemporary image studies. He describes the use of images as signs from a phenomenological perspective, reconstructs Plato's concept of mimesis by way of the canon of images it presupposes, (...) and demonstrates the special relevance of extreme types of images— virtual reality, desktop windows, or abstract photography—for the philosophical labor of the concept of the image. (shrink)

Paweł Gładziejewski has recently argued that the framework of predictive processing postulates genuine representations. His focus is on establishing that certain structures posited by PP actually play a representational role. The goal of this paper is to promote this discussion by exploring the contents of representations posited by PP. Gładziejewski already points out that structural theories of representational content can successfully be applied to PP. Here, I propose to make the treatment slightly more rigorous by invoking Francis Egan’s distinction between (...) mathematical and cognitive contents. Applying this distinction to representational contents in PP, I first show that cognitive contents in PP are determined by mathematical contents, at least in the sense that computational descriptions in PP put constraints on ascriptions of cognitive contents. After that, I explore to what extent these constraints are specific. I argue that the general mathematical contents posited by PP do not constrain ascriptions of cognitive content in a specific way. However, there are at least three aspects of PP that constrain ascriptions of cognitive contents in more specific ways: formal PP models posit specific mathematical contents that define more specific constraints; PP entails claims about how computational mechanisms underpin cognitive phenomena ; the processing hierarchy posited by PP goes along with more specific constraints. (shrink)

An interdisciplinary account of phenomenal unity, investigating how experiential wholes can be characterized and how such characterizations can be analyzed computationally. How can we account for phenomenal unity? That is, how can we characterize and explain our experience of objects and groups of objects, bodily experiences, successions of events, and the attentional structure of consciousness as wholes? In this book, Wanja Wiese develops an interdisciplinary account of phenomenal unity, investigating how experiential wholes can be characterized and how such characterization (...) can be analyzed conceptually as well as computationally. Wiese first addresses how the unity of consciousness can be characterized phenomenologically, discussing what it is like to experience wholes and what is the experiential contribution of phenomenal unity. Considering the associated conceptual and empirical issues, he draws connections to phenomenological accounts and research on Gestalt theory. The results show how the attentional structure of experience, the experience of temporal flow, and different types of experiential wholes contribute to our sense of phenomenal unity. Moreover, characterizing phenomenal unity in terms of the existence of a single global phenomenal state is neither necessary nor sufficient to adequately address the problem of phenomenal unity. Wiese then suggests that the concepts and ideas of predictive processing can be used to analyze phenomenal unity computationally. The result is both a conceptual framework and an interdisciplinary account: the regularity account of phenomenal unity. According to this account, experienced wholes correspond to a hierarchy of connecting regularities. The brain tracks these regularities by hierarchical prediction error minimization, which approximates hierarchical Bayesian inference. (shrink)

We argue for a perspective on bilingual heritage speakers as native speakers of both their languages and present results from a large-scale, cross-linguistic study that took such a perspective and approached bilinguals and monolinguals on equal grounds. We targeted comparable language use in bilingual and monolingual speakers, crucially covering broader repertoires than just formal language. A main database was the open-access RUEG corpus, which covers comparable informal vs. formal and spoken vs. written productions by adolescent and adult bilinguals with heritage-Greek, (...) -Russian, and -Turkish in Germany and the United States and with heritage-German in the United States, and matching data from monolinguals in Germany, the United States, Greece, Russia, and Turkey. Our main results lie in three areas. We found non-canonical patterns not only in bilingual, but also in monolingual speakers, including patterns that have so far been considered absent from native grammars, in domains of morphology, syntax, intonation, and pragmatics. We found a degree of lexical and morphosyntactic inter-speaker variability in monolinguals that was sometimes higher than that of bilinguals, further challenging the model of the streamlined native speaker. In majority language use, non-canonical patterns were dominant in spoken and/or informal registers, and this was true for monolinguals and bilinguals. In some cases, bilingual speakers were leading quantitatively. In heritage settings where the language was not part of formal schooling, we found tendencies of register leveling, presumably due to the fact that speakers had limited access to formal registers of the heritage language. Our findings thus indicate possible quantitative differences and different register distributions rather than distinct grammatical patterns in bilingual and monolingual speakers. This supports the integration of heritage speakers into the native-speaker continuum. Approaching heritage speakers from this perspective helps us to better understand the empirical data and can shed light on language variation and change in native grammars. Furthermore, our findings for monolinguals lead us to reconsider the state-of-the art on majority languages, given recurring evidence for non-canonical patterns that deviate from what has been assumed in the literature so far, and might have been attributed to bilingualism had we not included informal and spoken registers in monolinguals and bilinguals alike. (shrink)

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to a wide range of different (...) conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Now available in English for the first time, The Visibility of the Image explores the development of an influential aesthetic tradition through the work of six figures. Analysing their contribution to the progress of formal aesthetics, from its origins in Germany in the 1880s to semiotic interpretations in America a century later, the six chapters cover: Robert Zimmermann (1824-1898), the first to separate aesthetics and metaphysics and approach aesthetics along the lines of formal logic, providing a purely syntactic way of (...) using signs, regardless of objective content; Alois Riegl (1858-1905), who went on to further develop aesthetics on the model of formal logic, creating a theory of style in response to Zimmermann's call for an aesthetics oriented toward formal logic; Heinrich Wölfflin (1864-1945), who represents a step toward an understanding of consciousness by using pictures as cognitive tools; Konrad Fiedler (1841-1895), the Saxon philosopher who considered the possibility that some kinds of images are made and viewed not for what they show, but for their visibility's sake alone; Maurice Merleau-Ponty (1908-1961), responsible for taking up the connections between the problems of reducing the range of potential meanings and contexts of a given image down to just the picture surface; Charles William Morris (1901-1979), who set out to establish whether a picture with no objective reference, such as an abstract painting, still counts as a sign, and if so, in what sense. Bringing these thinkers together and interlinking their ideas, Lambert Wiesing presents an engaging history of formal aesthetics, while reconstructing the philosophical foundations for the appearance of new image forms in the 20th century, including the video-clip, abstract collage, digital simulation and virtual reality. Using this original approach, The Visibility of the Image introduces the rise of modern image theory and provides a valuable account of our engagement with pictures in the 21st century. (shrink)

Robots are increasingly envisaged as our future cohabitants. However, while considerable progress has been made in recent years in terms of their technological realization, the ability of robots to inter-act with humans in an intuitive and social way is still quite limited. An important challenge for social robotics is to determine how to design robots that can perceive the user’s needs, feelings, and intentions, and adapt to users over a broad range of cognitive abilities. It is conceivable that if robots (...) were able to adequately demonstrate this, humans would eventually accept them as social companions. We argue that the best way to achieve this is using a systematic experimental approach based on behavioral and physiological neuroscience methods such as motion/eye tracking, electroencephalography (EEG), or functional near-infrared spectroscopy (fNIRS) embedded in interactive human-robot paradigms. This approach requires understanding how humans interact with each other, how they perform tasks together and how they develop feelings of social connection over time, and using these insights to formulate design principles that make social robots attuned to the workings of the human brain. In this review, we put forward the argument that the likelihood of artificial agents being perceived as social companions can be increased by designing them in a way that they are perceived as intentional agents that activate areas in the human brain involved in social-cognitive processing. We first review literature related to social-cognitive mechanisms involved in human-human interactions, and high-light the importance of perceiving others as intentional agents to activate these brain areas. We then discuss how attribution of intentionality can positively affect human-robot interaction by (a) fostering feelings of social connection, empathy and prosociality, and by (b) enhancing performance on joint human-robot tasks. Lastly, we describe circumstances under which attribution of intentionality to robot agents might be disadvantageous, and discuss challenges associated with designing social robots that are inspired by neuroscientific principles. (shrink)

Does the assumption of a weak form of computational functionalism, according to which the right form of neural computation is sufficient for consciousness, entail that a digital computational simulation of such neural computations is conscious? Or must this computational simulation be implemented in the right way, in order to replicate consciousness? From the perspective of Karl Friston’s free energy principle, self-organising systems (such as living organisms) share a set of properties that could be realised in artificial systems, but are not (...) instantiated by computers with a classical (von Neumann) architecture. I argue that at least one of these properties, viz. a certain kind of causal flow, can be used to draw a distinction between systems that merely simulate, and those that actually replicate consciousness. (shrink)

This chapter explores to what extent some core ideas of predictive processing can be applied to the phenomenology of time consciousness. The focus is on the experienced continuity of consciously perceived, temporally extended phenomena (such as enduring processes and successions of events). The main claim is that the hierarchy of representations posited by hierarchical predictive processing models can contribute to a deepened understanding of the continuity of consciousness. Computationally, such models show that sequences of events can be represented as states (...) of a hierarchy of dynamical systems. Phenomenologically, they suggest a more fine-grained analysis of the perceptual contents of the specious present, in terms of a hierarchy of temporal wholes. Visual perception of static scenes not only contains perceived objects and regions but also spatial gist; similarly, auditory perception of temporal sequences, such as melodies, involves not only perceiving individual notes but also slightly more abstract features (temporal gist), which have longer temporal durations (e.g., emotional character or rhythm). Further investigations into these elusive contents of conscious perception may be facilitated by findings regarding its neural underpinnings. Predictive processing models suggest that sensorimotor areas may influence these contents. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

The article critically responds to "A Planetary Health Pledge for Health Professionals in the Anthropocene" which was published by Wabnitz et al. in The Lancet in November 2020. It focuses on the different roles and responsibilities of a physician. The pledge is criticised because it neglects the different roles, gives no answers in case of conflicting goals, and contains numerous inconsistencies. The relationship between the Planetary Health Pledge and the Declaration of Geneva is examined. It is argued that the Planetary (...) Health Pledge should have supplemented the Declaration of Geneva instead of changing it. (shrink)

Ibn al-'Arabī (d. 1240) was one of the towering figures of Islamic intellectual history, and among Sufis still bears the title of al-shaykh al-akbar, or "the greatest master." Ibn al-'Arabī and Islamic Intellectual Culturetraces the history of the concept of "oneness of being" (wahdat al-wujūd) in the school of Ibn al- 'Arabī, in order to explore the relationship between mysticism and philosophy in Islamic intellectual life. It examines how the conceptual language used by early mystical writers became increasingly engaged over (...) time with the broader Islamic intellectual culture, eventually becoming integrated with the latter's common philosophical and theological vocabulary. It focuses on four successive generations of thinkers (Sadr al-Dīn al-Qūnawī, Mu'ayyad al-Dīn al-Jandī, 'Abd al-Razzāq al-Kāshānī, and Dāwūd al-Qaysarī), and examines how these "philosopher-mystics" refined and developed the ideas of Ibn al-'Arabī. Through a close analysis of texts, the book clearly traces the crystallization of an influential school of thought in Islamic history and its place in the broader intellectual culture. Offering an exploration of the development of Sufi expression and thought, this book will be a valuable resource for students and scholars of Islamic thought, philosophy, and mysticism. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

Lambert Wiesing's The Philosophy of Perception challenges current theories of perception. Instead of attempting to understand how a subject perceives the world, Wiesing starts by taking perception to be real. He then asks what this reality means for a subject. In his original approach, the question of how human perception is possible is displaced by questions about what perception obliges us to be and do. He argues that perception requires us to be embodied, to be visible, and to continually participate (...) in the public and physical world we perceive. Only in looking at images, he proposes, can we achieve something like a break in participation, a temporary respite from this, one of perception's relentless demands. Wiesing's methods chart a markedly new path in contemporary perception theory. In addition to identifying common ground among diverse philosophical positions, he identifies how his own, phenomenological approach differs from those of many other philosophers, past and present. As part of the argument, he provides a succinct but comprehensive survey of the philosophy of images His original critical exposition presents scholars of phenomenology, perception and aesthetics with a new, important understanding of the old phenomenon, the human being in the world. (shrink)

It has been common in contemporary logic and philosophy of logic to identify the validity of an inference with its conclusion being a (logical) consequence of its premisses.

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it (...) makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)

The traditional picture of logic takes it for granted that "valid arguments have a fundamental epistemic significance", but neither model theory nor traditional proof theory dealing with formal system has been able to give an account of this significance. Since valid arguments as usually understood do not in general have any epistemic significance, the problem is to explain how and why we can nevertheless use them sometimes to acquire knowledge. It is suggested that we should distinguish between arguments and acts (...) of inferences and that we have to reconsider the latter notion to arrive at the desired explanation. More precisely, the notions should be developed so that the following relationship holds: one gets in possession of a ground for a conclusion by inferring it from premisses for which one already has grounds, provided that the inference in question is valid. The paper proposes explications of the concepts of ground and deductively valid inference so that this relationship holds as a conceptual truth. Logical validity of inference is seen as a special case of deductive validity, but does not add anything as far as epistemic significance is concerned—it resides already in the deductively valid inferences. (shrink)

We study the logical and computational properties of basic theorems of uncountable mathematics, including the Cousin and Lindelöf lemma published in 1895 and 1903. Historically, these lemmas were among the first formulations of open-cover compactness and the Lindelöf property, respectively. These notions are of great conceptual importance: the former is commonly viewed as a way of treating uncountable sets like e.g. [Formula: see text] as “almost finite”, while the latter allows one to treat uncountable sets like e.g. [Formula: see text] (...) as “almost countable”. This reduction of the uncountable to the finite/countable turns out to have a considerable logical and computational cost: we show that the aforementioned lemmas, and many related theorems, are extremely hard to prove, while the associated sub-covers are extremely hard to compute. Indeed, in terms of the standard scale (based on comprehension axioms), a proof of these lemmas requires at least the full extent of second-order arithmetic, a system originating from Hilbert–Bernays’ Grundlagen der Mathematik. This observation has far-reaching implications for the Grundlagen’s spiritual successor, the program of Reverse Mathematics, and the associated Gödel hierarchy. We also show that the Cousin lemma is essential for the development of the gauge integral, a generalization of the Lebesgue and improper Riemann integrals that also uniquely provides a direct formalization of Feynman’s path integral. (shrink)

We may try to explain proofs as chains of valid inference, but the concept of validity needed in such an explanation cannot be the traditional one. For an inference to be legitimate in a proof it must have sufficient epistemic power, so that the proof really justifies its final conclusion. However, the epistemic concepts used to account for this power are in their turn usually explained in terms of the concept of proof. To get out of this circle we may (...) consider an idea within intuitionism about what it is to justify the assertion of a proposition. It depends on Heyting’s view of the meaning of a proposition, but does not presuppose the concept of inference or of proof as chains of inferences. I discuss this idea and what is required in order to use it for an adequate notion of valid inference. (shrink)

In this paper I reflect critically on the concept of pragmatism as it is used in Ottoman historiography. Pragmatism has gained increasing currency over the last ten to fifteen years as one of the defining features of the Ottoman polity. I argue that unless it is properly defined from a theoretical-philosophical perspective, and carefully contextualized from a historical perspective, pragmatism cannot be used as an explanatory or comparative category. When used as a framework of explanation for historical change, pragmatism blurs (...) more than it clarifies an essential aspect of the Ottoman polity that it seeks to define, namely, the political. It is essential to reflect on the difference between the political and politics because whereas the political refers to the configuration of the power relations that organize a society as a legitimate entity, politics refers to the strategies, practices, institutions, or discourses whose purpose is to construct and retain hegemony within a polity. Through an analysis of the concept of pragmatism in Ottoman historiography, I show that for most proponents of Ottoman pragmatism, pragmatism pertains to politics rather than to the political. From a perspective rigorously confined to political theory, I argue that much like the discourse of modern tolerance, pragmatism in Ottoman historiography posits a problematic periodization, relegates the political to the background, and depoliticizes essential power relations. (shrink)

Personalized medicine plays an important role in the development of current medicine. Among the numerous statements regarding the future of personalized medicine, some can be found that accord medicine a new scientific status. Medicine will be transformed from an art to a science due to personalized medicine. This prognosis is supported by references to models of historical developments. The article examines what is meant by this prognosis, what consequences it entails, and how feasible it is. It refers to the long (...) tradition of epistemological thinking in medicine and the use of historical models for the development of medicine. The possible answers to the question “art or science” are systematized with respect to the core question about the relationship between knowledge and action. The prediction for medicine to develop from an ‘empirical healing art’ to a ‘rational, molecular science’ is nonsensical from an epistemological point of view. The historical models employed to substantiate the development of personalized medicine are questionable. (shrink)

Nanomedicine promises unprecedented innovations for diagnosis and therapy as well as for predicting and preventing diseases. On the other hand it raises fears linked to new and unknown characteristics of nanoscale materials. Both, promises and fears, are closely linked to the realm of uncertainty. To a large extent it is currently not known which expectations could become reality and which suspected adverse events might come true. Medicine is quite familiar with decision-making under uncertainty. Rules and regulations for clinical research have (...) been developed to reduce possible harm for research participants without abandoning necessary investigations. Here we examine whether clinical research trials of nanomedicine need new regulations and conclude that the established rules should suffice. (shrink)

I attempt an explication of what it means for an operation across domains to be the same on all domains, an issue that ) took to be central for a successful delimitation of the logical operations. Some properties that seem strongly related to sameness are examined, notably isomorphism invariance, and sameness under extensions of the domain. The conclusion is that although no precise criterion can satisfy all intuitions about sameness, combining the two properties just mentioned yields a reasonably robust and (...) useful explication of sameness across domains. (shrink)

I see the question what it is that makes an inference valid and thereby gives a proof its epistemic power as the most fundamental problem of general proof theory. It has been surprisingly neglected in logic and philosophy of mathematics with two exceptions: Gentzen’s remarks about what justifies the rules of his system of natural deduction and proposals in the intuitionistic tradition about what a proof is. They are reviewed in the paper and I discuss to what extent they succeed (...) in answering what a proof is. Gentzen’s ideas are shown to give rise to a new notion of valid argument. At the end of the paper I summarize and briefly discuss an approach to the problem that I have proposed earlier. (shrink)